Diagonal reasonings in mathematical logic
نویسندگان
چکیده
منابع مشابه
The Diagonal Lemma Fails in Aristotelian Logic
Gödel's theorem does not need an introduction. But it is generally not acknowledged that all instances of Gödel's sentence are vacuous (see below). On the contrary Aristotelian logic permits only sentences that are not vacuous. The consequences of these observations are surprising. What does the article title mean? First of all by " Aristotelian logic " we will understand the logic of the tradi...
متن کاملMathematical Logic
First of all, I would like to thank my supervisor, Petř Stěpánek, for showing me the fascinating world of mathematical logic and for his advice and many helpful comments on earlier drafts of this Thesis. Furthermore, I would like to thank Petr Horsk´y for numerous discussions on software verification and on this Thesis. Last but not least, I would like to thank Josef Urban for his advice he gav...
متن کاملMathematical Logic
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K , where K is the core model below a μ-measurable cardinal. 1. Homogeneously Souslin sets In this paper we shall deal with homogeneously Souslin sets of reals, or rather with sets of reals which admit an ω-closed embedding normal form. Definition 1.1. (Cf. [4, p. 92].) Let...
متن کاملMathematical Logic
When we cut a multiplicative proof-net of linear logic in two parts we get two modules with a certain border. We call pretype of a module the set of partitions over its border induced by Danos-Regnier switchings. The type of a module is then defined as the double orthogonal of its pretype. This is an optimal notion describing the behaviour of a module: two modules behave in the same way precise...
متن کاملMathematical Logic
It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbert style. Moreover, it is proven that any truth-functional semantics whose connectives are interpreted in [0,1] by continuous functions is axiomatizable by a fuzzy deduction system (but not by an effective fuzzy deduction syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Banach Center Publications
سال: 1995
ISSN: 0137-6934,1730-6299
DOI: 10.4064/-34-1-9-18